Serge Demeyer | Publications | E-mail Feedback
Last updated on Thursday, November 16, 2023
@inproceedings{Ceylan2023ASE,
author = {Halil Ibrahim Ceylan and Onur Kilincceker and
Mutlu Beyazıt and Serge Demeyer},
booktitle = {Proceedings {ASE 2023} (38th IEEE/ACM International
Conference on Automated Software Engineering)},
title = {{MUT4SLX}: Fast Mutant Generation for Simulink},
year = {2023},
abstract = {Several experience reports illustrate that mutation
testing is capable of supporting a ``shift-left''
testing strategy for software systems coded in
textual programming languages like C++. For graphical
modelling languages like Simulink, such experience
reports are missing, primarily because of a lack of
adequate tool support. In this paper, we present a
proof-of-concept (named MUT4SLX) for automatic mutant
generation and test execution of Simulink models.
MUT4SLX features 15 mutation operators which are
modelled after realistic faults (mined from an
industrial bug database) and are fast to inject
(because we only replace parameter values within
blocks). An experimental evaluation on a sample
project (a Helicopter Control System) demonstrates
that MUT4SLX is capable of injecting 70 mutants in
less than a second, resulting in a total analysis
time of 8.14 hours.},
annote = {internationalconference},
top = {A* in CORE2021},
}